Поиск по сайту

Информация
По вашему запросу найдено материалов: 1
Искать:
Быкова В. В. «Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.112-116